- inférence propositionnelle
- сущ.
выч. пропозициональный вывод
Французско-русский универсальный словарь. 2013.
inférence propositionnelle
Смотреть что такое "inférence propositionnelle" в других словарях:
Regle d'inference — Règle d inférence Dans un système logique, les règles d inférence sont les règles qui fondent le processus de déduction, de dérivation ou de démonstration. L application des règles sur les axiomes du système permet d en démontrer les théorèmes.… … Wikipédia en Français
Règle d'inférence — Dans un système logique, les règles d inférence sont les règles qui fondent le processus de déduction, de dérivation ou de démonstration. L application des règles sur les axiomes du système permet d en démontrer les théorèmes. Sommaire 1… … Wikipédia en Français
Logique propositionnelle — Calcul des propositions Pour les articles homonymes, voir Déduction. Le calcul des propositions ou calcul propositionnel est une théorie logique qui définit les lois formelles du raisonnement. C est la version moderne de la logique stoïcienne. C… … Wikipédia en Français
LOGIQUES NON CLASSIQUES — La logique formelle «classique» (cf. histoire de la LOGIQUE, LOGIQUE MATHÉMATIQUE, théorie de la DÉMONSTRATION) est une théorie de l’inférence valide qui ne prend pas en considération le contenu sémantique de l’argument. Elle est une logique… … Encyclopédie Universelle
RUSSELL (B.) — La longue vie qui fut accordée à Russell, l’alacrité avec laquelle il a supporté celle ci ont fait de lui un personnage hors série. Toujours en quête de renouvellement, il était, par l’ampleur de sa réflexion et la franchise de son action morale… … Encyclopédie Universelle
LOGIQUE (HISTOIRE DE LA) — Ce n’est qu’à une époque relativement récente qu’on a vraiment commencé à s’intéresser à l’histoire de la logique. Jusqu’au milieu du XIXe siècle régnait en effet l’idée que la logique n’avait pas d’histoire, étant, pour l’essentiel, sortie… … Encyclopédie Universelle
MÉDIÉVALE (PENSÉE) — Une histoire de la pensée du Moyen Âge ne se réduit pas à une histoire de la philosophie médiévale. Il y a à cela divers motifs. Le premier et le plus évident est que la pensée du Moyen Âge est, pour une large part, le fait de théologiens… … Encyclopédie Universelle
LOGIQUE MATHÉMATIQUE — La logique au sens étroit du terme, c’est à dire la logique formelle par opposition à l’épistémologie ou à la théorie de la connaissance, se propose de donner une théorie de l’inférence formellement valide. Elle considère comme valide toute… … Encyclopédie Universelle
VALIDITÉ (logique) — VALIDITÉ, logique Propriété de l’inférence qui la qualifie quant à sa fonction essentielle. L’inférence consiste à passer de propositions vraies assertées comme prémisses à une proposition vraie assertée comme conclusion. Si l’inférence est telle … Encyclopédie Universelle
Calcul des propositions — Pour les articles homonymes, voir Déduction. Le calcul des propositions ou calcul propositionnel est une théorie logique qui définit les lois formelles du raisonnement. C est la version moderne de la logique stoïcienne. C est aussi la première… … Wikipédia en Français
JUGEMENT — Le jugement est l’acte de la pensée qui affirme ou nie, et qui ainsi pose le vrai; plus largement, c’est le point d’arrêt d’un problème, qui s’achève dans une décision. L’existence du jugement est donc au point de rencontre de multiples approches … Encyclopédie Universelle
